reverse chain rule for integration